More from this Author
Found 3 books by Rajeev Joshi (Editor)
NASA -- Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
NASA Formal Methods
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
NASA Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)